match () with
| :? (int -> int) -> ()
